Что (кто) такое Fix - определение
WIKIMEDIA DISAMBIGUATION PAGE
FIX; Fix (disambiguation); To fix; Fix (song)
fix
1. <mathematics> The fixed point combinator. Called Y in
combinatory logic. Fix is a higher-order function which
returns a fixed point of its argument (which is a function).
fix :: (a -> a) -> a
fix f = f (fix f)
Which satisfies the equation
fix f = x such that f x = x.
Somewhat surprisingly, fix can be defined as the non-recursive
lambda abstraction:
fix = h . ( x . h (x x)) ( x . h (x x))
Since this involves self-application, it has an {infinite
type}. A function defined by
f x1 .. xN = E
can be expressed as
f = fix ( f . x1 ... xN . E)
= ( f . x1 ... xN . E)
(fix ( f . x1 ... xN . E))
= let f = (fix ( f . x1 ... xN . E))
in x1 ... xN . E
If f does not occur free in E (i.e. it is not recursive)
then this reduces to simply
f = x1 ... xN . E
In the case where N = 0 and f is free in E, this defines an
infinite data object, e.g.
ones = fix ( ones . 1 : ones)
= ( ones . 1 : ones) (fix ( ones . 1 : ones))
= 1 : (fix ( ones . 1 : ones))
= 1 : 1 : ...
Fix f is also sometimes written as mu f where mu is the Greek
letter or alternatively, if f = x . E, written as mu x . E.
Compare quine.
[Jargon File ]
(1995-04-13)
2. bug fix.
(1998-06-25)
fix
¦ verb
1. attach or position securely.
(fix on) direct or be directed unwaveringly toward: her gaze fixed on Jess.
2. decide or settle on.
establish the exact location of (something) by using radar, visual bearings, or astronomical observation.
assign or determine (a person's liability or responsibility) for legal purposes.
3. repair or restore.
4. make arrangements for.
(fix someone up) informal provide someone with something.
informal, chiefly N. Amer. provide with food or drink.
(be fixing to do something) N. Amer. informal be intending to do something.
5. make unchanging or constant.
make (a dye, photographic image, or drawing) permanent.
Biology preserve or stabilize (a specimen) with a chemical substance.
(of a plant or microorganism) assimilate (nitrogen or carbon dioxide) by forming a non-gaseous compound.
6. informal deviously influence the outcome of.
7. informal take an injection of a narcotic drug.
8. N. Amer. castrate or spay (an animal).
¦ noun
1. an act of fixing.
2. informal a difficult or awkward situation.
3. informal a solution to a problem, especially one that is hastily devised: there's no quick fix to the recession.
4. informal a dose of a narcotic drug to which one is addicted.
5. a position determined by visual or radio bearings or astronomical observations.
Phrases
get a fix on determine the position of.
?informal determine the nature or facts of.
Derivatives
fixable adjective
fixed adjective
fixedly adverb
fixedness noun
fixer noun
Origin
ME: partly from OFr. fix 'fixed', partly from med. L. fixare 'to fix', both from L. fixus, past participle of figere 'fix, fasten'.
FIX
1. <networking> Federal Information Exchange.
2. <business, protocol> Financial Information eXchange.
(2001-05-14)
Примеры произношения для Fix
1. -Fix bayonets!
-Fix bayonets!
The Last Samurai (2003)
2. fix.
How to Make a Superbug, and an Even More Super-Collider!
3. "Fix."
Transendental Meditations Impact _ Russell Brand + More _ Talks at Google
4. Fix the incentives, fix the incentives, fix the incentives ...
ted-talks_462_BarrySchwartz_2009-320k
5. and fix to fix the problem.
A Philosophy of Software Design _ John Ousterhout _ Talks at Google
Примеры употребления для Fix
1. "There is no quick fix through military and there‘s no quick fix through negotiation," he said.
2. Our purpose is not to fix blame, but to fix problems," says Sen.
3. "I want to fix a whole lot of things, and I want to fix them right now," he said.
4. "The sooner we get through and fix what we need to fix, the happier everyone will be," Cabrera said.
5. And if tomorrow, "Bush and Blair said, ‘We‘re going to fix this by July,‘" he says, "they could fix it."